Default =$>$ ${\it body}$ EndSwitch($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it body}$